Implementation of a generic Architecture for Local Computation

Valuation algebras are the foundation of a widespread theory unifying different fields of modern research and culminating in the power of local computation. Although this theory rejoys in great interest from a pure theoretical perspective, many questions were originally motivated by practical experiences. The aim of this paper is to return to this practical starting point by illustrating how these results can be used to design generic software for local computation. Thereby, the novelty consists in passing the high level of abstraction given by the mathematical theory to the implementation itself. Different architectures of local computation are realized independently to valuation algebra instances and join tree construction, which leads to a modular construction system inspired software project, available for anyone being interested in local computation.